Model-Based Boundary Coverage Criteria for Logic Expressions

Boundary is especially fault-prone to system. Aim at the model-based logic coverage criteria with little regard to the boundary, this paper proposes a series of model-based logical boundary coverage criteria. These criteria are used to generate test cases automatically. Results show that test cases satisfying these criteria can detect more errors than original logic coverage criteria. They not only satisfy the logic coverage criteria but also test the system boundaries.